Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
221	PDF Document Add to Reading List Source URL: genomics.princeton.edu Language: English - Date: 2008-09-06 00:24:49 Statistical hypothesis testing P-value Multiple comparisons Confidence interval Statistical power Type I and type II errors Familywise error rate F-test Curry–Howard correspondence Statistics Hypothesis testing False discovery rate
222	PDF Document Add to Reading List Source URL: kuznets.googlepages.com Language: English Propositional calculus Proof theory Logic in computer science Logical truth Deduction theorem Curry–Howard correspondence Intuitionistic logic Theorem Axiom Logic Mathematical logic Mathematics
223	PDF Document Add to Reading List Source URL: faculty.atu.edu Language: English - Date: 2004-08-26 16:53:51 Mathematical analysis Constructible universe Function Ordinal number Surjective function Codomain Injective function Ordinal arithmetic Curry–Howard correspondence Mathematics Mathematical logic Functions and mappings
224	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:32:52 Proof theory Model theory Logic in computer science Automated theorem proving Metalogic Curry–Howard correspondence Natural deduction Admissible rule Sequent calculus Logic Mathematical logic Mathematics
225	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-06-02 20:33:30 Mathematical constructivism Proof theory Intuitionism Non-classical logic Propositional calculus Realizability Intuitionistic logic Curry–Howard correspondence Dialectica interpretation Logic Mathematical logic Mathematics
226	PDF Document Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 12:42:43 Computer science Petri net State transition system Structure Formal language Model theory Curry–Howard correspondence Denotational semantics Models of computation Mathematics Theoretical computer science